1. Categories for types
Author: Crole, Roy L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Categories )Mathematics(,، Lambda, Calculus
Classification :
QA
169
.
C685
1993
2. Categories for types
Author: Crole, Roy L
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Categories )Mathematics(,، Lambda calculus
Classification :
QA
169
.
C685
1993
3. Logic Colloquium '82 :
Author: edited by G. Lolli, G. Longo, and A. Marcja
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
Classification :
QA9
.
7
.
L64
1982
